Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory
نویسندگان
چکیده
This paper proposes an efficient framework to execute Smart Contract Transactions (SCTs) concurrently based on object semantics, using optimistic Single-Version Object-based Software Transactional Memory Systems (SVOSTMs) and Multi-Version OSTMs (MVOSTMs). In our framework, a multi-threaded miner constructs Block Graph (BG), capturing the object-conflicts relations between SCTs, stores it in block. Later, validators re-execute same SCTs deterministically relying this BG. A malicious can modify BG harm blockchain, e.g., cause double-spending. To identify miners, we propose Multi-threaded Validator (SMV). Experimental analysis shows that proposed validator achieve significant performance gains over state-of-the-art SCT execution framework.
منابع مشابه
Making Blockchains Smarter: Towards Automated Robust Smart Contracts in Hyperledger
1 Background The world has seen a large amount of investments and developments going into the blockchain technology in recent years. In essence, a blockchain can be viewed as a distributed append-only log, the integrity of which is backed by the consensus of a network of nodes. Many properties of blockchain are considered to be desirable for the operation and collaboration of a variety of diffe...
متن کاملRaziel: Private and Verifiable Smart Contracts on Blockchains
Raziel combines secure multi-party computation and proof-carrying code to provide privacy, correctness and verifiability guarantees for smart contracts on blockchains. Effectively solving DAO and Gyges attacks, this paper describes an implementation and presents examples to demonstrate its practical viability (e.g., private and verifiable crowdfundings and investment funds, double auctions for ...
متن کاملPUNO: Predictive Unicast and Notification towards Efficient Transactional Memory Execution
Hardware Transactional Memory (HTM) schemes usually piggyback onto the cache coherence protocol to detect data access conflicts between transactions. We identify an intrinsic mismatch between the coherence scheme and transaction execution which causes a sizable amount of unnecessary transaction aborts. This pathological behavior is called false aborting and increases the amount of wasted comput...
متن کاملEfficient means of Achieving Composability using Object based Conflicts on Transactional Memory
Composing together the individual atomic methods of concurrent data-structures (cds) pose multiple design and consistency challenges. In this context composition provided by transactions in software transaction memory (STM) can be handy. However, most of the STMs offer read/write primitives to access shared cds. These read/write primitives result in unnecessary aborts. Instead, semantically ric...
متن کاملA Concurrent Perspective on Smart Contracts
In this paper, we explore remarkable similarities between multi-transactional behaviors of smart contracts in cryptocurrencies such as Ethereum and classical problems of shared-memory concurrency. We examine two real-world examples from the Ethereum blockchain and analyzing how they are vulnerable to bugs that are closely reminiscent to those that often occur in traditional concurrent programs....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2021
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-030-67087-0_6